Reasoning with conditional axioms

Reasoning with conditional axioms

Source :

• Annals of Mathematics and Artificial Intelligence [ 1012-2443 ] ; 1995-06-01.

English descriptors

• Teeft :
  • Academic press, Artificial intelligence, Axiom, Bendix procedure, Canonical systems, Clause, Comp, Complete simplification, Completeness theorem, Completion procedure, Computer science, Conditional, Conditional axioms, Conditional equation, Conditional equations, Conditional rule, Conditional rules, Conditional simplification, Conditional theories, Conditional theory, Deductive theorem, Empty clause, Equational, Equational theories, Explicit induction, Failure node, Failure nodes, Fair derivation, First part, First step, First version, Formal definition, Full power, Function symbols, General unifier, Ground convergent, Ground equation, Ground instance, Ground instances, Ground substitution, Ground term, Ground terms, Herbrand, Herbrand base, Herbrand model, Herbrand models, Horn clause, Horn clauses, Horn theories, Implicit induction, Induction, Induction hypothesis, Inductive, Inductive hypothesis, Inductive reasoning, Inductive theorem, Inductive theorems, Inference, Inference rules, Inference steps, Inference system, Initial model, Initial models, Irreducible, Irreducible ground terms, Kounalis, Last node, Lecture notes, Lexicographic path, Main idea, Maximal path, Multiset extension, Next proposition, Next result, Next section, Node, Paramodulation, Partial interpretation, Preliminary version, Previous work, Proc, Recursive path, Reductive, Reductive rules, Reflexive closure, Resolution principle, Resp, Rusinowitch, Second part, Simplification, Springer, Strict position, Strong restrictions, Structural induction, Substitution, Subterm, Superposition, Test sets, Test substitution, Unconditional equation, Unsatisfiable.

Abstract

• https://api.istex.fr/ark:/67375/1BB-Q2GMK243-T/fulltext.pdf

Affiliations:

• France
• Grand Est, Lorraine (région), Provence-Alpes-Côte d'Azur
• Valbonne, Vandœuvre-lès-Nancy

Links toward previous steps (curation, corpus...)

• to stream Istex, to step Corpus: 002B99
• to stream Istex, to step Curation: 002B62
• to stream Istex, to step Checkpoint: 002B29
• to stream Main, to step Merge: 00CF71
• to stream Main, to step Curation: 00C714

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00C714 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00C714 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     ISTEX:B964DE430B457C7A1D783CAF203CA21CC325E04F
   |texte=   Reasoning with conditional axioms
}}

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022